Martin-Löf's type theory as a programming logic

Författare
Bengt Nordström
Genre
Ej skönlitteratur
Språk
Engelska
Förlag År Ort Om boken ISBN
1986 Sverige, Göteborg 25 sidor.